abstract data type in oop